Multifunction algebras and the provability of PH↓
نویسندگان
چکیده
منابع مشابه
Multifunction algebras and the provability of PH
We introduce multifunction algebras Bτ i where τ is a set of 0 or 1-ary terms used to bound recursion lengths. We show that if for all ` ∈ τ we have ` ∈ O(|x|) then Bτ i = FP p i−1(wit, τ̇), those multifunctions computable in polynomial time with at most O(p(`(x))) queries to a Σpi−1 witness oracle for ` ∈ τ and p a polynomial. We use our algebras to obtain independence results in bounded arithm...
متن کاملthe structure of lie derivations on c*-algebras
نشان می دهیم که هر اشتقاق لی روی یک c^*-جبر به شکل استاندارد است، یعنی می تواند به طور یکتا به مجموع یک اشتقاق لی و یک اثر مرکز مقدار تجزیه شود. کلمات کلیدی: اشتقاق، اشتقاق لی، c^*-جبر.
15 صفحه اولFree Algebras for Gödel-Löb Provability Logic
We give a construction of finitely generated free algebras for Gödel-Löb provability logic, GL. On the semantic side, this construction yields a notion of canonical graded model for GL and a syntactic definition of those normal forms which are consistent with GL. Our two main techniques are incremental constructions of free algebras and finite duality for partial modal algebras. In order to app...
متن کاملVeblen hierarchy in the context of provability algebras
We study an extension of Japaridze’s polymodal logic GLP with transfinitely many modalities and develop a provability-algebraic ordinal notation system up to the ordinal Γ0. In the papers [1, 2] a new algebraic approach to the traditional prooftheoretic ordinal analysis was presented based on the concept of graded provability algebra. The graded provability algebra of a formal theory T is its L...
متن کاملthe analysis of the role of the speech acts theory in translating and dubbing hollywood films
از محوری ترین اثراتی که یک فیلم سینمایی ایجاد می کند دیالوگ هایی است که هنرپیش گان فیلم میگویند. به زعم یک فیلم ساز, یک شیوه متأثر نمودن مخاطب از اثر منظوره نیروی گفتارهای گوینده, مثل نیروی عاطفی, ترس آور, غم انگیز, هیجان انگیز و غیره, است. این مطالعه به بررسی این مسأله مبادرت کرده است که آیا نیروی فراگفتاری هنرپیش گان به مثابه ی اعمال گفتاری در پنج فیلم هالیوودی در نسخه های دوبله شده باز تولید...
15 صفحه اولذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Annals of Pure and Applied Logic
سال: 2000
ISSN: 0168-0072
DOI: 10.1016/s0168-0072(00)00015-4